when 12 | 15 => C : Integer;