Added explicit return type to AUTOSOLVE macros