Partially working variadic builtins
Store variadic arguments in reverse, so they work with va_arg

va_arg iterates over the va_list in increasing-memory-address order, so
we need to push the variadic argument registers in reverse order for
this to work smoothly.
Print the builtin name for -Xprint with builtin funcs