identify [0]*16 pattern and produce repeat-of-int