Using the Belt standard library