-- !!! field name (re-)exportation trickery
module M where

import Mod117_B

f = m1 undefined
g = m2 undefined