Executable bounded sleek