framework/resources/Functional/convert/convert1.e (1 lines of code) (raw):

true true