Add a testcase to ensure that the pubnames section uses an offset