Interpreter of the \BV language (ICFG 2013)