Comments
Pretty printing C fixes