Design Notes on Koshucode