envelope: empty files
header file ifndefs share common prefix