This won't work on windows, so maybe ``$unchecked-example``?