(assert((_ extract 0 0 expected_rpar_and_not_a_symbol