Work on c2ast blog post