public static Object pop_trace() { top_of_stack = top_of_stack.link; return unspecified._unspecified; }