Figure Asymptote geometry -- 038