Type mismatch in RTMain