Cobham's original framework requires bounding both the number of steps and the bitwidth of values; l...