util/choreographer_util library