const SET_MM_AUXV: comptime_int = 12;