Update builtin.md