let
get_name_in_session (name : string) (id : int) : string =
"("
^name^
", "
^(string_of_int id)^
")"