# OK: crafted binary is rejected cleanly
