//# publish
module 0x42.Duplicate {
  public f() { label b0: return; }
  public g() { label b0: return; }
}

//# publish
module 0x42.Duplicate {
  public f() { label b0: return; }
  // cannot drop public functions
}