@OliverCharlesworth You are right, if execLine returns void, even
line==1 is not evaluated, because the code won't compile.