Merged VEX_BUILTIN_FUNCTION_[123], moved to function.hpp