/* See LICENSE file for copyright and license details. */ #include #include extern void sync(void); int main(void) { sync(); return EXIT_SUCCESS; }