Symbol: sol_ofs_dprintf_vlog