Replaced GCC-specific syntax