define C
deque: added default values in record
added "-spec"s