Added stringify functions for prologue elements