/* placeholder; see pppoe_disc.c */