spec8: implemented