malloc(10)                                                                                                                                        = 0x55624164b2a0
printf("Hello World!\nString: %s\n", "Abc123")                                                                                                    = 28
free(0x55624164b2a0)                                                                                                                              = <void>
+++ exited (status 0) +++
