Symbol: ssif_bmc_test_ctx