How to translate this attribute to Adept?

[ghost]

__attribute__((__alloc_size__(x)))

[IsaacShelton]

Same as #238, you can omit it as it doesn't actually do anything. (It's only used to tell GCC how the function behaves so it can analyze it better)