src/etc/etc.wgrisc
