Trying out new format in SPEC