Annotate AO_malloc with 'alloc_size' and 'malloc' attributes