/* Our dummy program */

void
function(void)
{


}


int
main(void)
{

	function();

	return (0);

}