I think we can keep this function.  It can be useful if one wants to modify the toplevel phrase parser and use the camlp4 ast.