Examples 04 to 07 are non-runnable illustrations of error messages