readme hal dictionary