Update builtin.cpp
Merge pull request #1 from sjtufs/patch-1

Update builtin.cpp