Titan: unused variables