hal library