Extensions to Flint