# The declaration part of the module
	var n_moduledecl: nullable AModuledecl = null is writable