pub fn spawn_machine_thread_with_model( json_body: String, seed: Option<u64>, ) -> Result<Sender<Command>, String>