"*iconic:		False",
"*visual:		Default",
"*mono:			False",
"*gray:			False",
"*monoIcon:		False",
"*useXShm:		True",
"*smallLabelFont:	-*-fixed-bold-r-normal-*-14-*-*-*-*-*-iso8859-1",
"*mediumLabelFont:	-*-fixed-bold-r-normal-*-15-*-*-*-*-*-iso8859-1",
"*largeLabelFont:	-*-fixed-medium-r-normal-*-20-*-*-*-*-*-iso8859-1",
"*connectionFont:	-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-iso8859-1",
"*verbose:		False",
"*quiet:			False",
"*printVersion:		False",
"*printCopyright:	False",
"*printWarranty:		False",
"*useTerminal:		True",
"*useSerial:		False",
"*serialLine:		/dev/ttyS0",
"*completeInitialize:	False",
"*resetOnStartup:	False",
"*romFileName:		rom.dump",
"*homeDirectory:		.hp48",
"*useDebugger:		True",
"*disassemblerMnemonics:	class",
