This is an example of procedure syntax that should say `: Unit = { ... }`