for setlt control flow bug test