They are not prototypes. I listed the protoypes but here is a typical handler in this file
void SVC_Handler( void )
{
for ( ;; ) ;
}
This file is in the cores/arduino folder and doesn't currently get linked to replace the weak symbols.
I believe the intent is to link these handlers. I base this on a message from cmaglie.