begin
  'coverage with begin'
end