updated example-libc.py