  By the technique of 3-fold Mori theory, we prove that the moduli space whose
general point parameterizes a couple of a smooth curve of genus 4 and a
halfcanonical divisor with vanishing global section is rational.
