Experimenting with F*CSS