library procedures