Debug information construction