Not sure this numerated list + code highlighting is going to work. At least it doesn't work here on GitHub it seems. Might have to put the number into a new line?