A Q-BAL interpreter written in O'Caml