Summary: 10 instances, 7 unique

Text	Count
// TODO: revise string types after support for pointers to             //	1
// TODO: express alignment constraints once where clauses have been added.	1
// TODO: printing and scanning functions are still mostly	1
// TODO: compar needs to have an itype that has bounds	2
% TODO: we can now introduce a temporary for the result of the function call, so this	1
// TODO: we have no way to express the bounds requirement on dest,	2
// TODO: Better Support for _FORTIFY_SOURCE > 0                        //	2