execution(* *(..))例子