[PATCH 2/2] spec: integration with satyr