check_builtin with no leaks on valgrind