header abstraction: abstracted also in thread.html