work around syntax errors because of __attribute__