#include <stdio.h>
#include <unixlib.h>
main ()
{
    int i;
    i = __CRTL_VER;
    printf ("\n%d",i);
    i = decc$$gl___crtl_ver;
    printf ("\n%d",i);
}