Definition R64_G64_B64_NonEmpty := nil_cons (x := R64) (l := [G64;B64]).
