Figure Asymptote geometry -- 088