Symbol: key_alloc_single