add return to libc demo