# OK: binary input with trailing garbage is rejected
