__GNUC_PREREQ macro to fight against frama-c pthread.h parsing problems
__GNUC_PREREQ macro to fight against frama-c pthread.h parsing problems

mmenshchikov/sa_comparison_003,mmenshchikov/sa_comparison_003