cs462 krl stuff