Malardalen/tacle: loopbound pragmas right before loop statements