$use StdIO Table;

$table T;

Main =
  <Bind &T (2) ()>,
  <Bind &T (1) ()>,
  <Bind &T (3) ()>,
  <Bind &T (2) ()>,
  <Bind &T (2) ()>,
//  <WriteLN <Domain &T>>,
  <In-Table? &T 2>,
  <PrintLN OK!>;