ctags: forgot ALLOC_SIZE_PROD