|  | 
          Instances of a Dereferenceable
          type can be used like a pointer to access an lvalue.
        
          In the table below, T is
          a model of Dereferenceable, and x
          denotes an object of type T.
          In addition, all pointers are Dereferenceable.
        
| Expression | Result | Operational Semantics | 
|---|---|---|
| 
                     | 
                    convertible to  | 
                     |