spec: encoding