Macro fstar_unsafe_expr

fstar_unsafe_expr!() { /* proc-macro */ }