Function basic_contract_rs::__launch

pub fn __launch()