so the proposal is to directly set 0, 1, 2 to what we want them to be. if we also set

sys.stdout = os.openfd(1)

, then that's a thing