CS263 source code