fn is_read_lockable(state: u64) -> bool