Extra example with fixpoints having intermediate effects