for seed in 0x58677213 0xdfcc2ff4 ""; do
$PYTHON SRCDIR/t/sym-gtest.py $seed
AT_CHECK([BUILDDIR/t/assoc.t <sym.script], [0], [expout])
for seed in 0x58677213 0xdfcc2ff4 ""; do
$PYTHON SRCDIR/t/sym-gtest.py $seed
AT_CHECK([BUILDDIR/t/assoc.t <sym.script], [0], [expout])