export whale symbols to swig