ficlVmUpdateTib
ficlVmUpdateTib(vm, tail + len);
ficlVmUpdateTib(vm, tail + len);
ficlVmUpdateTib(vm, from);
ficlVmUpdateTib(vm, trace);
ficlVmUpdateTib(vm, trace);
ficlVmUpdateTib(vm, trace);