The Magic module is like OCaml's Obj.magic function for the EDSL; it allows one to bypass typing.
val unit : string -> unit tPut any string as a unit t command inline (Magic.unit s is different from exec ["sh"; "-c"; s] there is no escaping or protection).