#[unsafe(no_mangle)]pub extern "C" fn plg_rt_set_k(m: *mut Machine, k_fn: u64, k_env: u64)
Set the success continuation (k_fn passed as a raw pointer-sized integer in IR; the transmute re-types it).