./build >&2
bin/snark14UserDefined  b2.in