On a Linux machine with GAP installed, the HAP library can loaded as follows: