/* option `UVM' not defined */