HelenOS sources

REQUIRES           48 kernel/generic/include/verify.h 	REQUIRES(\extent_mutable(ptr))
REQUIRES           51 kernel/generic/include/verify.h 	REQUIRES(\mutable_array(ptr, nmemb))