Core: simplify stdinc.h