added declarations to satisfy strict.lua