namespace mozilla {
namespace _ipdltest {


protocol PTestSanity {

child:
    async Ping(int zero, float zeroPtFive, int8_t dummy);
    async __delete__();

parent:
    async Pong(int one, float zeroPtTwoFive, uint8_t dummy);


state PING:
    send Ping goto PONG;

state PONG:
    recv Pong goto DEAD;

state DEAD:
    send __delete__;
};


} // namespace mozilla
} // namespace _ipdltest