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