/*
  Copyright (c) 2014, Alexey Frunze
  2-clause BSD license.
*/
#include <string.h>

int strcoll(char* s1, char* s2)
{
  return strcmp(s1, s2);
}