Evaluated proc reface args {  }