semi_double_ok