extended function-entry liveset information for some examples required