change addBuiltin to addBuiltins and change allocated to alloc