Procedures with no return type might work