Agda.Compiler.UHC.Pragmas.Parse
parseCoreExpr
coreExprToCExpr
parseCoreData
parseCoreConstrs