export const foo: u32 = 0xbbbbbbbb;
export const bar: u32 = 0xbbbbbbbb;