disassemble: Better annotation of static functions and safepoints.