reinstated div/mod