Hello, I tried to examining what system call is used in the C program, however, it immediately crash and I did not see system call related to write to stdout.
I'm not sure if this should be posted on Github issue, so I post on this user list first as suggested on Github issue template.
the related and relevant log and the C program is attached as files.