void	f23456789012345() {}
void	f234567890123456() {}
void	f2345678901234567() {}

void	f234567890123456789012345678901() {}
void	f2345678901234567890123456789012() {}
void	f23456789012345678901234567890123() {}

void	f2345678901234567890123456789012345678901234567() {}
void	f23456789012345678901234567890123456789012345678() {}
void	f234567890123456789012345678901234567890123456789() {}

void	f23456789012345678901234567890123456789012345678901234567890123() {}
void	f234567890123456789012345678901234567890123456789012345678901234() {}

// #define ERROR

#ifdef	ERROR
void	f2345678901234567890123456789012345678901234567890123456789012345() {}
#endif

main()
{
	f23456789012345();	/* 15 */
	f234567890123456();	/* 16 */
	f2345678901234567();	/* 17 */

	f234567890123456789012345678901(); 	/* 31 */
	f2345678901234567890123456789012();	/* 32 */
	f23456789012345678901234567890123();	/* 33 */


	f2345678901234567890123456789012345678901234567();	/* 47 */
	f23456789012345678901234567890123456789012345678();	/* 48 */
	f234567890123456789012345678901234567890123456789();	/* 49 */

	/* 63 */
	f23456789012345678901234567890123456789012345678901234567890123();
	/* 64 */
	f234567890123456789012345678901234567890123456789012345678901234();

#ifdef	ERROR
	/* 65 */
	f2345678901234567890123456789012345678901234567890123456789012345();
#endif

}