u32 SYMBOL: 1234;

record Foo {
	u32 gaga;
}