C99 comments and restrict+assertions for list