Lobsters: How ARM64 Instructions Are Really Encoded