Add some more SDCC support code