<?php

/**
 * @deprecated 7.1 use g() instead
 */
function f(): void {}
