``` cast!U32*(a) ``` According to the specs, shouldn't compile. Need to decide whether to fix the code or the specs.
According to the specs, shouldn't compile. Need to decide whether to fix the code or the specs.