function foo(int $a): void {
}