require hal-info.inc