use clibint.h for CRTL internal variables