Jonas/Forney loop