//@ known-bug: #132142

async extern "C-cmse-nonsecure-entry" fn fun(...) {}