interface Alarm<TSymbolIEEE802154,uint32_t> as RxWaitAlarm;
interface GetNow<token_requested_t> as IsRadioTokenRequested;
interface TransferableResource as RadioToken;
interface Alarm<TSymbolIEEE802154,uint32_t> as RxWaitAlarm;
interface GetNow<token_requested_t> as IsRadioTokenRequested;
interface TransferableResource as RadioToken;