Re: elf_end(): rwlock_fini() with a locked object