have get_external in lua