Printf.printf"%08o"[|2396232;513;2129985|].(-Obj.magic(@)mod 3)