tutorial/4_imp++ revised to use the unified builtins