Example SystemC main