Working out the way to use ti.worker in Alloy