/* TAGS: min c */
void main() { } /* ERROR */