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