Examples with the def keyword