utilities for mainlua