Add WIP test header.

Author: reitermarkus

minimal.h

@@ -0,0 +1,56 @@
+// #include <limits.h>
+// // #include <stdint.h>
+// //
+// // #define MY_USHORT (unsigned short) ULONG_MAX
+//
+// typedef unsigned long TickType_t;
+// #define portMAX_DELAY (TickType_t) ULONG_MAX
+// const TickType_t __portMAX_DELAY = portMAX_DELAY;
+//
+// // #define IA 4
+// // #undef IA
+// // #define IA 5
+// // const int __IA = IA;
+//
+//
+//#define MY_DONUT1 U'\U0001f369'
+//#define MY_DONUT2 U'🍩'
+//
+//
+//char β = '\x7f';
+//
+
+// #include <stdint.h>
+//
+// #define queueQUEUE_TYPE_COUNTING_SEMAPHORE    ( int8_t ) 2
+//
+
+//#define HELLO1 "WORLD"
+//#define HELLO2 (char* const)"WORLD"
+//
+//
+//#define C (char)-4
+
+// int xTaskDelayUntil(int, int);
+//
+// #define vTaskDelayUntil( pxPreviousWakeTime, xTimeIncrement )                   \
+//     do {                                                                        \
+//         ( void ) xTaskDelayUntil( ( pxPreviousWakeTime ), ( xTimeIncrement ) ); \
+//     } while( 0 )
+//
+//
+//       int xQueueCreateMutex(int);
+//
+// #define queueQUEUE_TYPE_MUTEX 3
+//
+// #define xSemaphoreCreateMutex()    xQueueCreateMutex( queueQUEUE_TYPE_MUTEX )
+
+//#include <limits.h>
+
+//typedef unsigned long TickType_t;
+//#define portMAX_DELAY (TickType_t) ULONG_MAX
+
+// int original(void);
+//
+// #define wrapper1() original()
+// #define wrapper2() wrapper1()