#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);

}