(dtrace) D Object File Reader python script