require hal.inc PR = "r8"