#include "libc/sysv/consts/syscon.internal.h"
.syscon pr,PR_SET_MM_EXE_FILE,13,0,0,0,0,0