Updated examples for the recent rust