AST Printer updated lib-scanf/tscanf.ml