Added smt_test_ibm.c