proc {ExecuteStatement Stack