updated for SML/NJ 110.72