BuiltinExtraArguments 1535 src/builtins.cc   BuiltinExtraArguments extra_args;
BuiltinExtraArguments  349 src/builtins.h                                BuiltinExtraArguments extra_args);