C-coded builtins should not assert (fix #553)