hal-kilo documents