add gen_prim_specification to experimental-kernel