test overflow theory