Initial version of spec-generated tests