/* FIXME: update just the loaded lib */
lib_update_markers();
- printf("just registered a markers section from %p and having %d markers\n", markers_start, markers_count);
+ DBG("just registered a markers section from %p and having %d markers", markers_start, markers_count);
return 0;
}