Change builtin_malloc to malloc