Figure Asymptote geometry -- 008