@paco @futurebird
I've had problems so frustrating I've ended up adding

print("1")

print("2")

print("3")

print("4")

It's rare, but sometimes everything else fails.