# The status code
	#
	# Require: `not is_error`
	fun code: Int do return maybe_code.as(not null)