Temporary header file '/tmp/uj5uIXAuJ4/dump1.h' with the following content will be compiled to create GCC translation unit dump:

  // add defines
  #define __STDC_VERSION__ 201710L
#define _GXX_NULLPTR_T
#define CLUTTER_ENABLE_COMPOSITOR_API 1
#define _REGEX_NELTS(n)
#define _Atomic
#define PACKED
#define getaddrinfo_a(a,b,c,d)

  // add includes
  #include "/usr/include/ck_debug.h"
  #include "/usr/include/pkcs11.h"
  #include "/usr/include/pkcs11_ta.h"
  #include "/usr/include/se_tee.h"
  #include "/usr/include/tee_bench.h"
  #include "/usr/include/tee_client_api.h"
  #include "/usr/include/tee_client_api_extensions.h"
  #include "/usr/include/tee_plugin_method.h"
  #include "/usr/include/teeacl.h"
  #include "/usr/include/teec_trace.h"

The GCC parameters:
  gcc -fdump-lang-raw -fkeep-inline-functions -c -x c++ -fpermissive -w "/tmp/uj5uIXAuJ4/dump1.h"

In file included from /tmp/uj5uIXAuJ4/dump1.h:20:
/usr/include/teeacl.h:15:10: fatal error: uuid/uuid.h: No such file or directory
   15 | #include <uuid/uuid.h>
      |          ^~~~~~~~~~~~~
compilation terminated.

