Advice on symbol -> int mapping in C.