(As above -- code duplication; header filename)