returning value must be retrieved by name from the symboltable, the ctx is pointless in this case