spec11: implemented