/* See LICENSE file for copyright and license details. */ #include "../libsyscalls.h" #include int main(int argc, char *argv[]) { enum libsyscalls_datatype_section sec; (void) argc; sec = (enum libsyscalls_datatype_section)atoi(argv[1]); return !LIBSYSCALLS_IS_SECTION_QUARTER(sec); }