Sure it's possible, but are there implementations in use that meet this criterion? Because if there aren't, then it matters substantially less whether they're

Sure it's possible, but are there implementations in use that meet this criterion? Because if there aren't, then it matters substantially less whether they're possible.