25.7.5-wg_bug
