assert away overflow