change aymeric builtins.c