Figure Asymptote geometry -- 016