Update builtin.rb