function Action f();
  action
    bit[3:0] x <- actionvalue return(3); endactionvalue;
  endaction
endfunction