async printf