/src/policy_manager/stm/
../
stub
zipc