translated builtins.coffee