Code.unrolled_while(): add option len to specify the name of the loop length variable