Figure Asymptote various -- 009