Type Definition BlockId
solana_libra_bytecode_verifier::control_flow_graph
type BlockId = CodeOffset;