Library Stdlib.Init.Byte
From
Corelib
Require
Export
Byte
.