(* let con_start = StringMap.find "con_start" symbols in
let con_start = Kernel.get_int64 k con_start in *)
let logged_chars = StringMap.find "logged_chars" symbols in
let logged_chars = Kernel.get_int64 k logged_chars in
(* let con_start = StringMap.find "con_start" symbols in
let con_start = Kernel.get_int64 k con_start in *)
let logged_chars = StringMap.find "logged_chars" symbols in
let logged_chars = Kernel.get_int64 k logged_chars in