example execution snippet