#include "common.h"
#include "dcas.h"

int main(int argc, char *argv[])
{
    common_main<stack<unsigned>>(argc, argv);
}