Check in some basic, non-working source files