#include <stdint.h> int32_t bar2() { return 6; }