1 2 3 4 5 6 7
/* See LICENSE file for copyright and license details. */ int main(int argc, char **argv) { return 0; }