stdlib for minx