Yes, those are the CSEs; a smaller example for debugging