Update lab5.krl

process_fs_checkin