А, стоп.

POINTER [untagged] TO ARRAY/RECORD - не то же самое, что POINTER TO ARRAY/RECORD [untagged].

POINTER [untagged] - это когда объект сам ББ-шный, а указатель - нетрассируемый сборщиком мусора, не являющийся якорем.