{HEAD ~ The new value} is received during {TAIL ~ execution} of the computer program by a processor unit 
is received during
{ HEAD ~ The new value } is received during { TAIL ~ execution } of the computer program by a processor unit
HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL REL REL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH