libF18_ui_1990, libF18_print