module T5867( f ) where
import T5867a

boo = f
bar = f