reasoning-overhead-free execution of sequences now also, first prototype.