RedAsm definition