1#include <stdint.h>
2#include "raw_write.h"
3
4__thread uint32_t i0 = 0xdeadbeef;
5
6void f() {
7 RAW_PRINT_STR("__thread uint32_t i0=");
8 RAW_PRINT_HEX(i0);
9 RAW_PRINT_STR("\n&i0=");
10 RAW_PRINT_HEX(&i0);
11 RAW_PRINT_STR("\n");
12}
13