hal-library 0