Symbol: statcmp