def CapExec.euid
import bend-osdev-caps@0.1.0.0/exec.bend as Execimport Base
44# the effective user ID after execve: the file's owner if it is
45# set-user-ID, unless set-ID bits are ignored
46def CapExec.euid(ign: Bool, setuid: Bool, owner: U32, euid: U32) -> U32:
47 match ign:
48 case True{}:
49 euid
50 case False{}:
51 match setuid:
52 case True{}:
53 owner
54 case False{}:
55 euid