Use some macro reification