1.  if flub is correct, output consists only of numbered lines.
2.  first two lines rely on read next *, write next * and val * = 1 + 0
    to ** failed.
    to ** if flg * = * fails on equal.
    to ** if flg * = * transfers on unequal.
    to ** if flg * ne * fails on unequal.
    to ** if flg * ne * transfers on equal.
    to ** if val * = * fails on equal.
    to ** if val * = * transfers on unequal.
    to ** if val * ne * fails on unequal.
    to ** if val * ne * transfers on equal.
    to ** if ptr * = * fails on equal.
    to ** if ptr * = * transfers on unequal.
    to ** if ptr * ne * fails on unequal.
    to ** if ptr * ne * transfers on equal.
    to ** if ptr * ge * fails on greater.
    to ** if ptr * ge * fails on equal.
    to ** if ptr * ge * transfers on less.
    flg * = * fails.
    val * = ptr * fails.
    ptr * = val * fails.
    val * = ptr * changed ptr field.
    val * = ptr * changed flg field.
    ptr * = val * changed val field.
    ptr * = val * changed flg field.
    flg * = * changedtmtr field.
    flg * = * changed val field.
3.  basic conditionals and assignments (val to ptr, ptr to val and flg
4.  to flg) have been checked with positive operands.
    val * = * + * fails for all +.
    val * = * + * changed flg field  all +.
    val * = * + * changed ptr field  all+.
5.  the next two card numbers test val * = char and char = val *.
6.  0 x x x x x x x x x are the contents of val 0 - val 9.
7.  x x x x are the contents of ptr 0 - ptr 3.
    val * = * - * fails  all +.
    val * = * - * changed flg field  all+.
    val * = * - * changed ptr field  all+.
    val * = * - * fails res. - or val * = * + * fails op1 -.
    val * = * - * changed flg field  result -.
    val * = * - * changed ptr field  result -.
    val * = * + * fails  op1 - op2 + result -.
    val * = * + * fails  op1 - op2 -.
    val * = * - * fails  op1 - op2 +.
    val * = * - * fails  op1+ op2-.
    ptr * = * + * fails  all +.
    ptr * = * + * changed flg field.
    ptr * = * + * changed val field.
    ptr * = * - * fails all +.
    ptr * = * - * changed flg field all +.
    ptr * = * - * changed val field  all +.
    ptr * = * - * fails  res. - or ptr * = * + * fails op 1 -.
    ptr * = * - * changed flg field  result -.
    ptr * = * - * changed val field  result -.
    ptr * = * + * fails  op1 - op2 + result -.
    ptr * = * + * fails  op1 - op2 -.
    ptr * = * - * fails  op1 - op2 +.
    ptr * = * - * fails  op1 + op2 -.
    val * = ptr * fails on -.
    val * = ptr * changed flg on -.
    val * = ptr * changed ptr on -.
    ptr * = val * fails on -.
    ptr * = val * changed flg on -.
    ptr * = val * changed val on -.
    ptr * = * * * fails both +.
    ptr * = * * * changed flg field  both +.
    ptr * = * * * changed val field  both +.
    ptr * = * * * fails both -.
    ptr * = * * * fails  op1 - op2 +.
    ptr * = * * * changed flg field  op1 - op2 +.
    ptr * = * * * changed val field  op1 - op2 +.
    ptr * = * * * fails  op1 + op2 -.
    ptr * = * / * fails  both + integral result.
    ptr * = * / * changed flg field  both + integral result.
    ptr * = * / * changed val field  both + integral result.
    ptr * = * / * fails  both - integral result.
    ptr * = * / * fails  op1 - op2 + integral result.
    ptr * = * / * changed flg field  op1 - op2 + integral result.
    ptr * = * / * changed val field  op1 - op2 +.
    ptr * = * / * fails op1 + op2 - integral result.
    ptr * = * / * fails  both + non-integral quotient.
    ptr * = * / * changed flg field both + non-integral quotient.
    ptr * = * / * changed val field  both +  non-integral quotient.
    ptr * = * / * fails  op1 + op2 - non-integral quotient.
    ptr * = * / * changed flg field  op1 + op2 - non-integral quotient.
    ptr * = * / * changed val field  op1 + op2 - non-integral quotient.
    to ** if val * = * transfers on op1 = -op2.
    to ** if val * ne * fails on unequal, opposite sign.
    to ** if ptr * = * transfers on op1 = -op2.
    to ** if ptr * ne * fails on unequal, opposite sign.
    to ** if ptr * ge * fails on op1 + op2 -  abs op1 gt abs op2.
    to ** if ptr * ge * transfers on op1 - op2 + abs op1 gt abs op2.
    to ** if ptr * ge * fails on op1 - op2 - op1 gt op2.
    to ** if ptr * ge * transfers on op1 - op2 - op2 gt op1.
8.  further conditional and register arithmetic checking is complete.
9.  if line 10 is missing and 9 duplicated, to ** by * failed.
10. if line 11 is missing, return by * failed.
11. check of to and return completed.

