nbk-SFET-Loops