Make akaros_vfprintf() take a stream (XCC)