Using SCREV directly