Pinocchio: bringing reflection to life with first-class interpreters