-- Record field selectors imported alone; should be ok

module M where 

import Rn042_A( field )