Symbol: cmd_tagged_free