Export builtin to .js