// gcc wctomb.c
#include <stdlib.h>
#include <locale.h>
 
int main()
{
    wchar_t wc = L'\u00df';
    char buffer[1];                     // not large enough

    setlocale(LC_ALL, "en_US.utf8");
    wctomb(buffer, wc);

    return 0;
}