1 static inline void putc(int c) {} 2 static inline void flush(void) {} 3 static inline void arch_decomp_setup(void) {} 4