Rewrite cider main