#include "libc/sysv/consts/syscon.internal.h"
.syscon ipv6,IPV6_RECVRTHDR,56,56,0,0,38,38,38,38