#include #include int main(void) { printf("LC_SEGMENT_64: %d\n", LC_SEGMENT_64); }