{$SMARTLINK OFF}

var
  initialstkptr: pointer; public name '__stkptr';
  operatingsystem_parameter_envp: ppchar; public name 'operatingsystem_parameter_envp';
  operatingsystem_parameter_argc: ptruint; public name 'operatingsystem_parameter_argc';
  operatingsystem_parameter_argv: ppchar; public name 'operatingsystem_parameter_argv';