BUG: debugging symbols...