`@return void` (and newline before it)