deleted workarounds 'alloc_or_die'