17The prettyprinter is not too strict and take any non-positive value as an undefined statement number.