FML function 'strcmp' implemented. This function can be used to