{HEAD ~ A specification} of each block in {TAIL ~ a first subset} is obtained from the library and translated into an execution function of the software implementation of the block 
in
{ HEAD ~ A specification } of each block in { TAIL ~ a first subset } is obtained from the library and translated into an execution function of the software implementation of the block
HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH