int getBigInt(IStatus status) { final res = _getBigInt(self, status.self); status.checkStatus(); return res; }