let buildChar (loc, s) =
  CfParser.INTEGER (loc, Intbig.intbig_of_char s.[1])