source `dirname $0`/util.sh

cp $OBJDIR/lib/libtest_lib$bitness.so .

RECORD_ARGS="--env=LD_PRELOAD=libtest_lib$bitness.so"
record constructor$bitness
rm libtest_lib$bitness.so
replay
check EXIT-SUCCESS
