AVMPLUS_BIN_TYPE  941 shell/avmshell.cpp 			AvmLog("shell " AVMPLUS_VERSION_USER " " AVMPLUS_BIN_TYPE " build " AVMPLUS_BUILD_CODE "\n");
AVMPLUS_BIN_TYPE 1000 shell/avmshell.cpp 		AvmLog("avmplus shell " AVMPLUS_VERSION_USER " " AVMPLUS_BIN_TYPE " build " AVMPLUS_BUILD_CODE "\n\n");