It looks like their system would just generate return 42;