# Push a new MDLocation on the stack.
	private fun push_loc(location: MDLocation) do loc_stack.add location