alloy2/models/samples
