-java_objectheader *builtin_trace_exception(java_objectheader *_exceptionptr,
- methodinfo *method,
- int *pos, int line, int noindent);
-/* NOT AN OP */
-
-static inline java_objectheader **builtin_get_exceptionptrptr();
-/* NOT AN OP */
-static inline methodinfo **builtin_get_threadrootmethod();