Update builtin_functions.h