let print_binary_operator = function
ILbinTimes -> "*" | ILbinDiv -> "/"
| ILbinPlusVV -> "+" | ILbinMinusVV -> "-"
| ILbinPlusPV -> "+p" | ILbinMinusPP -> "-pp" | ILbinMinusPV -> "-p"
| ILbinModulo -> "%"
| ILbinLshift -> "<<" | ILbinRshift -> ">>"
| ILbinLogAnd -> "&&" | ILbinLogOr -> "||"
| ILbinIntAnd -> "&" | ILbinIntOr -> "|" | ILbinIntXor -> "^"
| ILbinLessThan -> "<" | ILbinLessEqual -> "<="
| ILbinGtrThan -> ">" | ILbinGtrEqual -> ">="
| ILbinEqual -> "==" | ILbinNotEqual -> "!="