Library Stdlib.Program.Utils

From Corelib Require Export Utils.