Library 'hal' added