Definition u8Min  : Z := 0.
