module CORBA
{
    interface Receipt
    {
        readonly attribute Object target;
        readonly attribute Object source;
        readonly attribute long id;

        string toString();
        Status queryStatus();
        Status changeRecipient();
    };
};