/* Test printing of percent signs with %% */

#include "suite.h"

int main(void)
{
	printf("'%%'\n");
	return 0;
}
