port for lua5.2