Module Integration.Rust

val capture : string -> string list -> unit
val capture_ullbc : string list -> unit