Translate
abstract syntax