examples for the two procedures