Dynamic linker and debugging/tracing interface for HelenOS