function foo(): void {
    echo(5);
}