require hal.inc FILE_PR = "r8"