extensibility in fp and oo 6487407