     \\ rpt (IF_CASES_TAC \\ fs [ws_to_chars_def])     \\ intLib.COOPER_TAC)   THEN0    (fs [copy_array_def] \\ fs [ws_to_chars_def]     \\ reverse IF_CASES_TAC THEN0 (fs [] \\ intLib.COOPER_TAC)     \\ fs [