unloop and static escape optimizers