introduce annotation #[stable_call_conv]#1361

bgregoir wants to merge 2 commits intomainjasmin-lang/jasmin:mainfrom

stable-call-convjasmin-lang/jasmin:stable-call-convCopy head branch name to clipboard