Code examples for HSR lecture