hack for header (make machine independent with SRI macro when merged with f--modus-operandi)