Abstract State Descriptor partial impl