Add a KotH example (Storm)