Add some files for issue #3.