corrode
corrode copied to clipboard
C volatile pointers do not translate to rust volatile accesses