Assigning array to itself with different order

[doofenstein]

that looks a lot like bug to me. This is the generated C code:
    
    
    bytes[0] = bytes[(((NI)1))- 0];
    bytes[1] = bytes[(((NI)0))- 0];
    
    
    Run

E.g.