module mm3 public :: f end module