#include <stdint.h>

// u32 simple:x
static uint32_t v_6simple_1x = 123;