module m3 public :: f end module