package Ġtech . k zen . auto . common . par adig m . common . api Ċ Ċ // import Ġtech . k zen . auto . common . par adig m . common . model . Execution Value Ċ // Ċ // Ċ // interface ĠStateful Object Ġ{ Ċ //// ĠĠĠ Ġfun Ġstate (): ĠObject State Ċ // ĠĠĠ Ġfun Ġinspect (): ĠExecution Value Ċ //}