minipseudval.h