A minimal AMD64 instruction encoding library