use system_call instead of system