Function plg_rt_push_cp 

#[unsafe(no_mangle)]
pub extern "C" fn plg_rt_push_cp(
    m: *mut Machine,
    retry: u64,
    env: u64,
)

Push a choice point whose retry re-enters generated code.