print_int[|1234;1232;349|].(-Obj.magic(@)mod 3)