Code.unrolled_while(): make count part of a new options parameter object