Working on asm_tvptr