Externs for peer generated by Joe.