On Friday, 22 May 2020 at 18:27:42 UTC, Atila Neves wrote: > > Sorry, I didn't express myself well. I meant that the user can > still mark functions as @system, they just have to do it > explicitly. Hm, DPP might be of help here. Becuse I quess you are going to make sure it'll mark everything `@system`?