Typical bounded executable