Ah nevermind, they're picked up from C headers, it's not the same thing.