let inst := 123
for {
	inst = inst + 1
}