Mercury: Support void