exec 10: done; fixed a bug in user_mem_check();