src-bk/definitions library