Implementing some basic record stuff from Niklaus Wirth's work.