gdb_bug_grt: MODULE NEWMODE is_channel_type = SET (chan_1, chan_2, chan_3, chan_4, chan_5, chan_6, chan_7, chan_8, chan_9, chan_10); GRANT is_channel_type; END;