On 8051 builds of SDCC, is there a way to have a variable automatically be set to...
It looks like whenever you guys changed "SDCC_mcs51" to "__SDCC_mcs51", stdio.h didn't...