Library prelude.Tools