this does not make sense to have `detachable INTEGER_64' ... integer can never be Void

so remove those `detachable' in following put_*  and replace_with_*