HtDP prologue examples