Program: tracef() instead of trace()