<> <<>> <> <> DIRECTORY IP USING [State]; IPError: CEDAR DEFINITIONS ~ BEGIN OPEN IP; <<>> CallWithState: PROC[self: State, inner: PROC]; END.