subrange type have valid [...] constant block type ( [...] . Pointers to a type point
, then the pure code memory [...] code [...] type. If the memory