Update builtin.c