extension/1.2/IFoo.hal

package [email protected];

import [email protected]::IFoo;

interface IFoo extends [email protected]::IFoo {
    doCoolThings() generates (int32_t status);
};