added semaio, statement label format spec