<def f='src/src/sys/kern/kern_veriexec.c' l='77' ll='85'/>
<size>64</size>
