And what is it used for? Is it the fancy external timer people use?