Symbol: F_RESET_INT