Verifying uc
    CPU 0 
Wrote output to uc.verify.out