Type Alias GgpFrameToken 

pub type GgpFrameToken = u64;