After reading the Standard, I'm reopening this report. An external "C inline" routine with no Alias clause violates VZCC(2) (section 8.31.11, page 151).