First spec; some example code.