Wrote a program to calculate BuiltIn.scala, and generated it.