fun add_flags(flags: Int) in "Java" `{ self.addFlags((int)flags); `}