add some helper files for ex4