The Jassa Core library consists of