1// SPDX-License-Identifier: GPL-2.0
 2// Copyright (C) 2019, Red Hat Inc, Arnaldo Carvalho de Melo <acme@redhat.com>
 3#define _GNU_SOURCE
 4#include <unistd.h>
 5
 6int main(void)
 7{
 8	return gettid();
 9}
10
11#undef _GNU_SOURCE