// prologue