cardinal-number public under number 42 List Picture As a command %3 n0 cardinal-number n1 number n1->n0