module Roles12a where
import {-# SOURCE #-} Roles12