Add some builtin functions