Kenya’s budget is funded in se