Use record rather than 3-tuple.