story
Once we have this, the wide pointer could just be introduced as syntactic sugar for this. char (
Personally, I would want the dependent structure type first as it is more powerful and low-level with no need to decide on a new ABI.