if(tasks[ct].tlen > MAXTASKSIZE)
die("Task is too long: %d", tasks[ct].tlen);
//Read task bytecode
for(unsigned int i = 0; i<tasks[ct].tlen; i++){
tasks[ct].bc[i] = read_byte();
if(tasks[ct].tlen > MAXTASKSIZE)
die("Task is too long: %d", tasks[ct].tlen);
//Read task bytecode
for(unsigned int i = 0; i<tasks[ct].tlen; i++){
tasks[ct].bc[i] = read_byte();