added KASSERTs for a) proc_create