The U.S. government budget cookbook