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