spec generated