Use @DA_LAST@ to determine @MAXPRIME@, now that it exists.