SML/NJ loading ...