On what do we set ";orig"?