The .LOP .VALUE here is a link-time assert (.LOP runs an arbitrary
instruction). But the test is the wrong way round -- at the moment,
TVBASE=44000, TVLNT=6000, TVLOC=47560, so overflow hasn't occurred.
The 1973 version of the code uses .LIFL, which makes more sense to me...