[registers]
r0: u32 = 0;