function after_tax
    (before_tax: Natural;
     rate      : Natural) return Natural is
begin
    return before_tax - (before_tax * rate) / 100;
end after_tax;