The registers (rbi to r15) are said to be uninitialized. I need to check the generated code to see if it's a spurious warning, or some real problem.