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 -> "!="