Portable automation contracts and behavior extracted from Kumwe.