redInt p _ _                    = internalError0 ("redInt: " ++ show p)
redInt p _ _                    = internalError0 ("redInt: " ++ show p)
redInt p _ _                    = internalError0 ("redInt: " ++ show p)