val are_balanced : string -> bool