// from lpp-limits.h
/* current version */