`tools`, HPL is not a library