Definition R16_G16_B16_NonEmpty := nil_cons (x := R16) (l := [G16;B16]).
