removed __returns_int - is now the default