val translate : Ast.arithmetic_command -> string list