Obj.magic Array.map(Printf.printf"%08o ")"$I $@ I$$H H @H"