A lazy and efficient way to generate constants to be exported somewhere else