let get_fd_size_marker (size: int) : symbol = let name = "__fd_m" ^ string_of_int size in let pretty = "more" ^ string_of_int size in create_symbol FD_Size_Marker name pretty 0