@name port_wrappers.c
@header
/* additional hand-written wrappers for ports which provide them */
@port
${include}