Direct translation implemented.