An Inform 7 interactive fiction