// format.df
manifest
	[ xleftmargstd = #5666;
	xrightmargstd = #50166;
	ofsetstd = 4;
	kdigit = 0
	kcr = 1
	klook1 = 2
	kquad = 3
	koffset = 4;
	kfun = 5;
	kmeasure = 6
	kparastatterm = 7
	klabel = 8;
	kldln = 9;
	kldhdr = 11;
	kitb = 12;
	kxtb = 13;
	ktab = 14;
	maxpi = 16
	fbovhd = (offset FB.rvdnpi)/16
	maxfmsg = 150;
	widthblave = 256;
	widthblmin = 128;
	]