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)