[specs] An example (will replace with real specs soon)