Use `def f($a): ...;` syntax for builtins