I observed some kind of Heisenbug, I think: in VS Code, I run the following program:
object Main { def main(args: Array[String]): Unit = { print("Start