How should I understand the output of dis.dis?