prolog -i $PARTHENON/com/image.ver <<baka
?-main('$1','$2',m_clock,posedge,p_reset,negedge,'1''b0',synopsys).
baka
