/* Tatica NBProc */

\tbegin
\ttactic NBProc(block)  \def

  \tprogram(block, \ttactic NBStep1(FNames(block))
  \tsemi  \defsbox ( \beginendbox ((),\ttactic NBMain())))
              \tsemi \ttactic NBStep8())) 

\tend