[michael@fae bin]$ make client

pec> connect fae.cs.columbia.edu 3780
<hi/>

pec[0] switch object O
<new-object name="O"/>
pec[1] can P1 do get with q = 1 ?
<allow/>
pec[2] can john do get ?
<no/>
pec[3] switch object fridge
<new-object name="fridge"/>
pec[4] can john do anything ?
<deny/>
pec[5] switch object O
<new-object name="O"/>
pec[6] can john do get with q = 1000 ?
<no/>
pec[7] current
<context>
        <zone name="thisZone"/>
        <policy name="thisZone.myPolicy"/>
        <system name="O"/>
</context>
pec[8] list zones
<zonelist>
        <zone name="zone:zone"/>
        <zone name="thisZone"/>
</zonelist>
pec[9] list objects
<objects>
        <object name="fridge"/>
        <object name="O"/>
</objects>
pec[10] list principals
<principals>
        <principal name="P1"/>
        <principal name="default_p"/>
        <principal name="john"/>
</princpals>
pec[11] switch object fridge
<new-object name="fridge"/>
pec[12] current
<context>
        <zone name="thisZone"/>
        <policy name="thisZone.myPolicy"/>
        <system name="fridge"/>
</context>
pec[13] switch zone zone:zone
<new-zone name="zone:zone"/>
pec[14] current
<context>
        <zone name="zone:zone"/>
        <policy name="defaultPolicy"/>
        <system name=""/>
</context>
pec[15] can michael do x ?
<no/>
pec[16] switch zone thisZone
<new-zone name="thisZone"/>
pec[17] current
<context>
        <zone name="thisZone"/>
        <policy name="thisZone.myPolicy"/>
        <system name=""/>
</context>
pec[18] bye
<bye/>