Assertion list for term "mark the migration position of syk".

Results from Ascent++: 1
arrowhead CapableOfmark the migration position of syk 0.32