* graph_code/graph_code.ml: todo