A few comments for corde, mostly testing branching