subprog_trusted_task_nullable_extra_layer
res += subprog_trusted_task_nullable_extra_layer(t1);
res += subprog_trusted_task_nullable_extra_layer(t2);