7.6.1.1360
EVALUATE
 
BLOCK
 
Extend the semantics of 6.1.1360 EVALUATE to include: Store zero in BLK.