Added tb_toplevel instructions
bug fixing pc_register