Int slice monoid terminal session