spec8: implement