[PD] k_cext segfault