Example: 4KS bound to 4Z3G