Define bytecoded builtins more concisely.