A modified lua-5.1.5 interpreter that uses libgc