pub type GgpFrameToken = u64;