loop variants in GC -- shows the bug, but I don't know yet how to fix it