Write a `scribble-header` top-level definition.