REIL translation library