In reply to andleon82:
One more thing you should notice.
You should compile shared library .so using gcc with option -m64 (64 bits) to match with vlog -64 command, otherwise the shared library could not be loaded correctly.
gcc -m64 -shared -fPIC -lm -Bsymbolic -o mylibc.so globalb.c globalc.c