Extraction NoInline set_add set_mem.