slightly different use of EXT