::::NOTICE::::
HLFS has not be updated for a very long time. Since then, jhalfs has evolved
and is now incompatible with HLFS.