result code = -1 standard error = { tests/diagnostics/while-predicate-type.slang(9): error 30010: 'while': expression must evaluate to int. } standard output = { }