ex3 mark
tmp mark
ex4 mark
ex5 mark
fixed a bug in user_mem_check
ex6 mark
ex8 mark, part B finished