My code for Ocsigen's “interaction” tutorial