mini mini_debug mini_san