restexample