note alternate instructions for 0pre6->7