#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,"%0*p\n",2*sizeof(size_t),uctx->map->addr);
}