pub fn stack_unpack_struct_instantiation( state: &AbstractState) -> (StructDefinitionIndex, Vec<SignatureToken>)