Procedure syntax is planned to be deprecated in the future, use `def f: Unit = ...` instead.