Extend argsToAlt to return a quadruple.