t0001: use test_must_fail