export lua symbol