let register name arg = Dynamic.register ~journalize:true ~plugin:"Security_slicing" name (Type.func Kernel_type.stmt (Type.list Kernel_type.stmt)) (Component.get_component arg)