add stdlib allocator references