Why is this function needed?  Weren't only included symbols added to kelf_out?