;; Emulated NVRAM at 22-24K
	defc AUXRAM_END   = 24*1024
	defc AUXRAM_SIZE  = 2048