exec uses demand paging