hopefully fix markdown interpreting __attribute__