java bytecode, ocaml output, dot graphs