spec10: implemented