proc decodeIwa(data: string): string {....raises: [IworkFormatError,
    IworkFormatError, Exception], tags: [RootEffect], forbids: [].}