static __attribute__ ((constructor)) void register_psos(void) { copperplate_register_skin(&psos_skin); }
static __attribute__ ((constructor)) void register_vxworks(void) { copperplate_register_skin(&vxworks_skin); }