f401 top-level property

double f401
getter/setter pair

Implementation

double f401 = f(401);