namespace mozilla {
namespace _ipdltest {


protocol PTestSanity {

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

parent:
    Pong(int one, float zeroPtTwoFive);


state PING:
    send Ping goto PONG;

state PONG:
    recv Pong goto DEAD;

state DEAD:
    send __delete__;
};


} // namespace mozilla
} // namespace _ipdltest