No libc shell for pedagogic purpose