diff --git a/json/card_source.json b/json/card_source.json index 734b7b4..f6aa36a 100644 --- a/json/card_source.json +++ b/json/card_source.json @@ -445,7 +445,28 @@ "rows": 1, "page_width": 938, "page_height": 1184, - "overview": true + "overview": true, + "step_tiles": { + "reset-call": 1, + "reset-read-buffer-address": 1, + "reset-buffer-address-result": 1, + "reset-store-cursor": 1, + "reset-return": 1, + "alloc5-call": 1, + "alloc5-read-cursor": 1, + "alloc5-cursor-result": 1, + "alloc5-read-buffer-address": 1, + "alloc5-buffer-address-result": 1, + "alloc5-used": 1, + "alloc5-commit": 1, + "alloc5-return": 1, + "alloc7-call": 1, + "alloc7-read-cursor": 1, + "alloc7-cursor-result": 1, + "alloc7-used": 1, + "alloc7-commit": 1, + "alloc7-return": 1 + } }, "interactive": { "kind": "uml-sequence", diff --git a/pdf/mpabi-inf-c-07-pointers-arrays-v00.01-4abec2d9-79e9-0dca-9040-c60669f51ff8.pdf b/pdf/mpabi-inf-c-07-pointers-arrays-v00.01-4abec2d9-79e9-0dca-9040-c60669f51ff8.pdf index dfe504d..1551064 100644 Binary files a/pdf/mpabi-inf-c-07-pointers-arrays-v00.01-4abec2d9-79e9-0dca-9040-c60669f51ff8.pdf and b/pdf/mpabi-inf-c-07-pointers-arrays-v00.01-4abec2d9-79e9-0dca-9040-c60669f51ff8.pdf differ