Create builtin.h