Move __softboundcets_printf() to header