generic way to handle real libc symbols