%define KZERO		0xffffffff80000000
%define KSTACK		16