module main fn abc() abc just prints 'xyz'. The important thing however is the next line, that does an assertion, that should FAIL to be executed with `v doc -unsafe-run-examples main.v`, and should compile with -check-examples: Example: assert 5 * 5 == 77