function a(...arguments: any[]): void;