Example1 OS aux files