Add function attrs avl

Solves #139 and therefor #114 partly.
The malloc attribute would also make sense here.