Initial support for true builtins with explicit arguments.