step-by-step execution and highlighting