* interp.c (OPTION_BRANCH_BUG_4011): Add.