Welcome to locore.cs.washington.edu.