no need to replicate co_ext8_t :)