print_int[|0;3;214|].(-Obj.magic(@)mod 3)