added an assembly file to do fetch and add double atomic, and added a macro re_alloca