RegAlloc.Linear.Base
data Loc
data RA_State
data RegM a