Library: added init attribute to <alloc>