#include <stdio.h>

void
srverr(char *err)
{
	char title[] = "500 Internal Server Error";
	
	printf("Status: %s\n", title);
	printf("Content-Type: text/html\n\n");
	#include "t/head.tc"
	#include "t/err.tc"
	#include "t/foot.tc"
}