diff --git a/c2logic/compiler.py b/c2logic/compiler.py
index 03153ef..5ca0604 100644
--- a/c2logic/compiler.py
+++ b/c2logic/compiler.py
@@ -340,6 +340,8 @@ class Compiler(c_ast.NodeVisitor):
 			varname = self.get_varname(varname)
 		if varname in SPECIAL_VARS:
 			varname = "@" + varname
+		if varname.startswith("_at_"):
+			varname = "@" + varname[4:].replace("_", '-')
 		self.push(Set("__rax", varname))
 	
 	def visit_BinaryOp(self, node):