auto generated spec