GNAT implementation of the Ada Semantic Interface Specification