sem [ prefetch prefetcha ] {
set_op
(
new_inst
,
0
,
3
,
0
); };