[PD] Re: k_cext segfault