fun total_space: Int in "Java" `{ return (int)self.getTotalSpace(); `}