@xiangli-cmu one more question - it should be added as exported const in header of this file, shouldn't it?