val verbose : bool ref val quiet : bool ref val generate_pot : bool ref val expand_tabs : int option ref