no way to avoid this kind of  `awaitCond$default$4` ?