void b(u64 x) {
	raw(u64, 0x69u64) = x;
}

u64 a() {
	return raw(u64, 0x69u64);
}