Follow the specs for GCC