builtins
hard-code builtins as known functions for now