srecord Value(A value) implements IF0 { public A get() { ret value; } toString { ret str(get()); } }