[S]===> (Hackbent p 254)