let print_unary_operator = function UnaryPlus -> "+u" | UnaryMinus -> "-u" | LogNot -> "!" | IntNot -> "~"