[opaque pointer type] encode the pointee type of global variables