Updated lab code for Alloy & Ti3.0