Reified functions start to work :-)