kind of works, but page fault fails file_read