// doc.df
manifest
	[ deltamaxpc = 5;
	trivpctb = 6;
	maxdoc = 15;
	doctx0 = 0;
	doctx1 = 1;
	doctx2 = 2;
	doctx3 = 3;
	doctx4 = 4;
	doctx5 = 5;
	docsys = 0;
	docremark = 6;
	docuserfirst = 7;
	lpsyscr = 8;
	ptblNil = -1;
	]