The custom death function is defined multiple times by the test programs, and I think that's technically an extension of the C standard. See http://stackoverflow.com/questions/1433204/how-do-i-use-extern-to-share-variables-between-source-files-in-c for some discussion.