Norm builtin.c