unit pkt_discard = {

imports[]; exports[ out : { push push_data } ]; ...

}