Merge branch 'symcheck2'