void main() { } /* ERROR */