ここのC／C＋＋コンパイラって
何らかの形でDbCつかえるの？
int func(int a)
{
　　__in
　　{
　　}
　　__out(int result)
　　{
　　}
　　__body
　　{
　　}
}
こんなん。