#include <stdint.h>

#include <stdlib.h>

#include <stdio.h>

#include <string.h>

#include <errno.h>

#include <sofort/sofort.h>

sfrt_api

int sfrt_output_address(const struct sfrt_unit_ctx * uctx, FILE * f)

{

	return fprintf(f,"%*p\n",(int)(2*sizeof(size_t)),uctx->map->addr);

}