Fixed SELECT_I32 and SELECT_I64