You went to high school with Niklaus Wirth?