Was the SML/NJ 110.35 just a vanilla 110.35 or did you put in some Lal patch? Are you officially declaring that 110.35 is now the version of SML/NJ we will use? (I would be happy if it was since then when we find bugs it will be with current versions of SML/NJ.)