This appears to be impossible, so we should get rid of it.