Use win_save_println in core.c