1! NOEXIT
1?
1 EXIT(
1.1+ ,
1.1.0.0!  NOINEXIT
1.1.0.0?
1.1.0.0 INEXIT(mod1
1.1.0.0.1? (str1)
1.1.0.0.2 )
1.1.0!  NOLIBEXIT
1.1.0?
1.1.0 LIBEXIT(mod2
1.1.0.1? (str2)
1.1.0.2 )
1.1.0!  NOPRTEXIT
1.1.0?
1.1.0 PRTEXIT(mod3
1.1.0.1? (str3)
1.1.0.2 )
1.1.0!  NOOBJEXIT
1.1.0?
1.1.0 OBJEXIT(mod4
1.1.0.1? (str4)
1.1.0.2 )
1.1.0!  NOADEXIT
1.1.0?
1.1.0 ADEXIT(mod5
1.1.0.1? (str5)
1.1.0.2 )
1.1.0!  NOTRMEXIT
1.1.0?
1.1.0 TRMEXIT(mod6
1.1.0.1? (str6)
1.1.0.2 )
1.1.0.3 (1) 

1.2 )