pub type RefSeqNum = i64;