smtlaissezfaire/loop not found