J.Engelh's general-purpose library