V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U system.machine_state_operations%b s-mastop.adb b5505412 NE OL PK W system%s system.ads system.ali U system.machine_state_operations%s s-mastop.ads 34dad412 NE OL PK W system%s system.ads system.ali W system.storage_elements%s s-stoele.adb s-stoele.ali D system.ads 20151123113124 2da59038 system%s D s-mastop.ads 20140801093848 34bc0e2e system.machine_state_operations%s D s-mastop.adb 20140225151139 81ec5a3c system.machine_state_operations%b D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s X 1 system.ads 37K9*System 200e11 2|38r6 40r9 42r24 48r30 55r41 104r5 3|38r14 85r13 108r5 67M9*Address 2|42r31 48r37 69m4*Null_Address{67M9} 3|50r29 68r27 77r14 X 2 s-mastop.ads 40K16*Machine_State_Operations 1|37k9 2|104l12 104e36 3|38b21 108l12 108t36 42M12*Code_Loc{1|67M9} 73r53 86r31 86r48 3|57r31 57r48 75r53 48M9*Machine_State<1|67M9> 61r43 64r45 73r31 80r29 100r37 55V13*Machine_State_Length{4|54I9} 3|84b13 88l8 88t28 61V13*Allocate_Machine_State{48M9} 3|48b13 51l8 51t30 64U14*Free_Machine_State 64=34 3|66b14 69l8 69t26 64m34 M{48M9} 3|66b34 68m7 73V13*Get_Code_Loc{42M12} 73>27 3|75b13 78l8 78t20 73m27 M{48M9} 3|75b27 80U14*Pop_Frame 80>25 3|94b14 97l8 97t17 80m25 M{48M9} 3|94b25 86V13*Fetch_Code{42M12} 86>25 3|57b13 60l8 60t18 86m25 Loc{42M12} 3|57b25 59r14 100U14*Set_Machine_State 100>33 3|103b14 106l8 106t25 100m33 M{48M9} 3|103b33 X 4 s-stoele.ads 42K16*Storage_Elements 2|38w13 55r48 3|85r20 4|117e28 54I9*Storage_Offset 2|55r65 3|85r37