pub const TAGINT: u8 = 0;
Tag constants for snapshot encoding. opencoder.py: TAGINT, TAGCONSTPTR, TAGCONSTOTHER, TAGBOX