<?php

/**
 * @deprecated
 */
function f(): void {}
