tracing/documentation: Cover new frame pointer semantics