signature SIG = sig end
and SIG' = SIG