basic definitions of files