Finished first revision of decode.v. It only has add