% $RCSfile: StackSecureStateBunTest.oz,v $ \insert 'Test.oz' \insert 'StackSecureStateBun.oz' \insert 'StackStateBunTest.oz'