Dontcare/opaque value #67
Description
In some cases it's easier to allow reading potentially garbage values but tracking and restricting their effects. In general they should be considered as opaque. They can be passed around but their specific values should not be used.