Trivial renaming of *<- to st32 which is hopefully clearer