mps_wait_db_int
if (mps_wait_db_int(sc) != 0) {
if (mps_wait_db_int(sc) != 0) {
if (mps_wait_db_int(sc) != 0) {
if (mps_wait_db_int(sc) != 0) {
if (mps_wait_db_int(sc) != 0) {
if (mps_wait_db_int(sc) ||