generated autospecs