(nextflipdebug5) #1