uscan: scan by given envid
challenge: sfork(). How to test its correctness??