A Reversible Abstract Machine and Its Space Overhead