# Returns the last modification time
	#
	# alias for `last_modification_time`
	fun mtime: Int do return last_modification_time