Function execute 

pub fn execute(
    language: &str,
    code: &str,
    timeout_secs: Option<u64>,
) -> SandboxResult

Runs a snippet in the sandbox runtime of language.

A run does not leave processes behind (Q13, Unix, in the lean-ctx binary): whatever the snippet started in its process group is ended when the run is over — after a normal exit before the output is collected, on a timeout with the snippet itself — and when this process is gone.