Here’s the first line of code ever written by a US president