State : INT; QUEUE : [...] : INT := 0; QUEUE
.tContent with VAR tContent : INT
.tContent with VAR tContent : INT
.tContent with VAR tContent : INT
.tContent with VAR tContent : INT
.tContent with VAR tContent : INT
.tContent with VAR tContent : INT
.tContent with VAR tContent : INT